-record(sm,{state,tfun}).